The Hennessy–Milner equivalence for continuous time stochastic logic with mu-operator
نویسندگان
چکیده
منابع مشابه
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes
In a recent paper Baier, Haverkort, Hermanns and Katoen [BHHK00], analyzed a new way of model-checking formulas of a logic for continuoustime processes called Continuous Stochastic Logic (henceforth CSL) – against continuous-time Markov chains – henceforth CTMCs. One of the important results of that paper was the proof that if two CTMCs were bisimilar then they would satisfy exactly the same fo...
متن کاملCongruences and Bisimulations for Continuous-Time Stochastic Logic
Continuous stochastic logic (CSL) deals with the verification of systems operating in continuous time, it may be traced to the well known tree logic CTL. The present logic contains a nextas well as an until-operator, and it permits expressing steady-state probabilities. We propose in this paper a probabilistic interpretation of this logic that is based on stochastic relations without making spe...
متن کاملThe convexity of the integral operator on the class of the integral operator on the class B(mu,alpha)
In this paper, we study the convexity of the integral operator
متن کاملContinuous-time stochastic games
We study continuous-time stochastic games (with finitely many states and actions), with a focus on the existence of their equilibria that are insensitive to a small imprecision in the specification of players’ evaluations of streams of payoffs. We show that the stationary, namely, time-independent, discounting game has a stationary equilibrium, that the (not necessarily stationary) discounting ...
متن کاملEntropy operator for continuous dynamical systems of finite topological entropy
In this paper we introduce the concept of entropy operator for continuous systems of finite topological entropy. It is shown that it generates the Kolmogorov entropy as a special case. If $phi$ is invertible then the entropy operator is bounded with the topological entropy of $phi$ as its norm.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2007
ISSN: 1570-8683
DOI: 10.1016/j.jal.2006.05.001